Evolving Specification Engineering
نویسندگان
چکیده
The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be able to first treat basic functionality and normal-case behavior, and then later add in complicating factors such as physical limitations (memory, time, bandwidth, hardware reliability, and so on) and security concerns. Handling these complicating factors often does not result in a refinement, since safety or liveness properties may not be preserved. We extend our earlier work on evolving specifications (1) to allow the preservation of both safety and liveness properties under refinement, and (2) to explore a more general notion of refinement morphism to express the introduction of complicating factors.
منابع مشابه
Using ViewPoints for inconsistency management
Large-scale software development is an evolutionary process. In an evolving specification, multiple development participants often hold multiple, inconsistent views on the system being developed, and considerable effort is spent handling recurrent inconsistencies. Detecting and resolving inconsistencies is only part of the problem: a resolved inconsistency might not stay resolved as a specifica...
متن کاملModelling the Evolution of Information Systems
In this article, we discuss the need for information systems capable of evolving to the same extent as organisation systems do. A set of requirements for evolving information systems is presented, implying the importance of the time concept in these systems. On the basis of these requirements an architecture and a conceptual framework for evolving information systems is proposed. In our concept...
متن کاملUsing ViewPoints for inconsistency management - Software Engineering Journal
Large-scale software development is an evolutionary process. In an evolving specification, multiple development participants often hold multiple inconsistent views on the system being developed, and considerable effort is spent handling recurrent inconsistencies. Detecting and resolving inconsistencies is only part of the problem; a resolved inconsistency might not stay resolved as a specificat...
متن کاملTowards Ontology-driven Requirements Engineering
Requirements Engineering has a huge impact on success or failure of a software project. However, the acquisition, specification and evolution of goals and requirements from different stakeholders or sources often leads to incomplete, ambiguous, and faulty requirements. Therefore, the ability to detect and repair inconsistent and incomplete requirements is crucial to the successful modelling of ...
متن کاملFSM-based Re-Testing Methods
The selection of appropriate test cases is an important issue in software engineering. A number of methods are known for the selection of a test suite based on the specification and an implementation under test given in the form of a finite state machine (FSM). In realistic applications, this specification evolves incrementally throughout incorporating frequent modifications. In this paper, we ...
متن کامل